/* use with process.h*/

void obs_init();
void obs_print_stats();
void obs_sched_add(struct process *p);
void obs_tread_next(struct process *p);
void obs_proc_exit(struct process *p);
void obs_proc_ran(struct process *p, int t);
void obs_proc_did_io(struct process *p, int blocks);
void obs_disk_accept_job(struct process *p);
void obs_disk_return_job(struct process *p);
void obs_sim_run_clock(int t);
void obs_sim_set_context(struct process *p);
